- conditional implication
- условная импликация
English-Russian dictionary of computer science and programming. 2013.
English-Russian dictionary of computer science and programming. 2013.
Implication — can refer to:* Logic: ** Logical implication as regarded in mathematical logic. ** Material conditional as regarded in philosophical logic.:* Entailment (pragmatics):Also, in linguistics, there are different specialized related notions::*… … Wikipedia
Conditional preservation of the saints — The Five Articles of Remonstrance Conditional election Unlimited atonement Total depravity … Wikipedia
implication — implicational, adj. /im pli kay sheuhn/, n. 1. something implied or suggested as naturally to be inferred or understood: to resent an implication of dishonesty. 2. the act of implying: His implication of immediate changes surprised us. 3. the… … Universalium
Conditional quantifier — In logic, a conditional quantifier is a kind of Lindström quantifier (or generalized quantifier) QA that, relative to a classical model A, satisfies some or all of the following conditions ( X and Y range over arbitrary formulas in one free… … Wikipedia
conditional — Any proposition of the form ‘if p then q ’. The condition hypothesized, p, is called the antecedent of the conditional, and q the consequent. Various kinds of conditional have been distinguished. The weakest is that of material implication,… … Philosophy dictionary
Conditional proof — A conditional proof is a proof that takes the form of asserting a conditional, and proving that the antecedent of the conditional necessarily leads to the consequent. The assumed antecedent of a conditional proof is called the conditional proof… … Wikipedia
conditional — I. adjective Date: 14th century 1. subject to, implying, or dependent upon a condition < a conditional promise > 2. expressing, containing, or implying a supposition < the conditional clause if he speaks > 3. a. true only for certain values of… … New Collegiate Dictionary
conditional relation — noun a logical relation between propositions p and q of the form if p then q ; if p is true then q cannot be false • Syn: ↑implication, ↑logical implication • Derivationally related forms: ↑implicational (for: ↑implication), ↑imply … Useful english dictionary
conditional — con•di•tion•al [[t]kənˈdɪʃ ə nl[/t]] adj. 1) imposing, containing, subject to, or depending on a condition; not absolute: conditional acceptance[/ex] 2) gram. (of a sentence, clause, mood, or word) involving or expressing a condition, as the… … From formal English to slang
Paradoxes of material implication — Implication, in logic, describes conditional if then statements, e.g., if it is raining, then I will bring an umbrella. There are many ways to formalise implication, of which material implication is one of the simplest. It equates the statement… … Wikipedia
Logical implication — In logic and mathematics, logical implication is a logical relation that holds between a set T of formulae and a formula B when every model (or interpretation or valuation) of T is also a model of B . In symbols,# T models B, # T Rightarrow B # T … Wikipedia